Boolean Algebra 3 - De Morgans Theorem